#include "../kernel.h"

int
auth_is_userspace_range(uintptr_t start, size_t range)
{
	 /* TODO FIXME! */
	 return 1;
}
